Hot Code Reloading in Cloud Haskell [M.Sc. thesis]

List of Figures......Page 9
Introduction......Page 10
The Problem......Page 11
Why Hot Code Reloading......Page 12
Example of Hot Code Reloading in Erlang......Page 13
Contributions......Page 14
Implementing Erlang in Haskell......Page 16
Library vs Run Time System......Page 17
Modular Architecture......Page 18
Actor vs Thread......Page 19
The Core API......Page 20
Ping Pong in Cloud Haskell......Page 21
Formal specification of DSU......Page 24
Quiescence......Page 25
Proxies, Intermediaries and Indirection Levels......Page 26
Using underlying facilities......Page 27
Version Coexistence......Page 28
Haskell......Page 29
Erlang......Page 30
An Attempt at Hot Code Reloading......Page 31
Understanding Erlang's Behaviour......Page 32
Quiescence and Version Coexistence......Page 33
The Plugins Way......Page 35
A minimal plugins example......Page 36
DSU in Ping Pong......Page 38
Unresolved Problems......Page 39
The Proxy Approach......Page 44
Addressability and Roaming......Page 45
Evaluation......Page 47
Implementation Challenges......Page 49
Future work......Page 50
References......Page 52